If G is a finite group and H ≤ G, then |H| divides |G|. Furthermore, the number of distinct left or right cosets of H in G is |G|/|H|.